An Algebraic Proof of Quillen's Resolution Theorem for K1
نویسندگان
چکیده
منابع مشابه
An Algebraic Proof of Deuber's Theorem
Deuber’s Theorem says that, given any m, p, c, r in N, there exist n, q, μ in N such that whenever an (n, q, c)-set is r-coloured, there is a monochrome (m, p, c)-set. This theorem has been used in conjunction with the algebraic structure of the StoneČech compactification βN of N to derive several strengthenings of itself. We present here an algebraic proof of the main results in βN and derive ...
متن کاملAlgebraic proof of Brooks’ theorem
We give a proof of Brooks’ theorem as well as its list coloring extension using the algebraic method of Alon and Tarsi.
متن کاملAn algebraic proof of Bogomolov-Tian-Todorov theorem
We give a completely algebraic proof of the Bogomolov-Tian-Todorov theorem. More precisely, we shall prove that if X is a smooth projective variety with trivial canonical bundle defined over an algebraically closed field of characteristic 0, then the L∞-algebra governing infinitesimal deformations of X is quasi-isomorphic to an abelian differential graded Lie algebra.
متن کاملCompositional Term Rewriting: An Algebraic Proof of Toyama's Theorem
This article proposes a compositional semantics for term rewriting systems, i.e. a semantics preserving structuring operations such as the disjoint union. The semantics is based on the categorical construct of a monad, adapting the treatment of universal algebra in category theory to term rewriting systems. As an example, the preservation of connuence under the disjoint union of two term rewrit...
متن کاملA Resolution Theorem for Algebraic Domains
W.C. Rounds and G.-Q. Zhang have recently proposed to study a form of resolution on algebraic domains [Rounds and Zhang, 2001]. This framework allows reasoning with knowledge which is hierarchically structured and forms a (suitable) domain, more precisely, a coherent algebraic cpo as studied in domain theory. In this paper, we give conditions under which a resolution theorem — in a form underly...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of K-Theory
سال: 2009
ISSN: 1865-2433,1865-5394
DOI: 10.1017/is009009019jkt089